
\existentialConstants {
	int x6; int x5; int x4; int x3; int x2; int x1;
}



\problem {
	x6                            = 0
&
	    2*x5       + 1*x3         = 0
&
	          5*x4        + 3*x2  = 0
&
	                 7*x3 + 11*x2 = 0
}
